Building and Aligning Comparable Corpora
arxiv.org·1d
📜Digital Philology
Three challenges in machine-based reasoning
amazon.science·4m·
Discuss: Hacker News
🧮Theorem Proving
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·1d
📝Concrete Syntax
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·1d
⚗️Algebraic Coding
What you see may not be what you get
thoughtbot.com·5h
🔣Unicode
(BT) Diversity from (LC) Diversity
golem.ph.utexas.edu·12h
🧮Kolmogorov Complexity
Abhinav Sarkar: A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·4d
🔗Functional Compilers
Design Arts Medias | Designing with Abstractions: CSS and the Case of Masonry Layouts
journal.dampress.org·13h
📖Nordic Typography
Context Engineering — A Comprehensive Hands-On Tutorial with DSPy
towardsdatascience.com·1h
✨Effect Handlers
Beyond the Wavefunction: Qualia Abstraction Language Mechanics and the Grammar of Awareness
arxiv.org·1h
💻Programming languages
Why Computer Science Is No Good, Redux
cacm.acm.org·11h
🎯Performance Proofs
Merge-based syntax is mediated by distinct neurocognitive mechanisms: A clustering analysis of comprehension abilities in 84,000 individuals with language defic...
arxiv.org·1h
🔤Morphological Analysis
SAT Requires Exhaustive Search
link.springer.com·1d·
Discuss: Hacker News
🧮Kolmogorov Complexity
LLMs - Embeddings 01
dev.to·1d·
Discuss: DEV
🧮Vector Embeddings
Automating Boundary Filling in Cubical Type Theories
arxiv.org·2d
🔶Cubical Type Theory
LECTOR: LLM-Enhanced Concept-based Test-Oriented Repetition for Adaptive Spaced Learning
arxiv.org·1h
🤖Grammar Induction
LLGuidance: Making Structured Outputs Go Brrr
guidance-ai.github.io·5d·
Discuss: Hacker News
📝Concrete Syntax
Data Overdose? Time for a Quadruple Shot: Knowledge Graph Construction using Enhanced Triple Extraction
arxiv.org·1h
🔍Information Retrieval
Coherent Multimodal Reasoning with Iterative Self-Evaluation for Vision-Language Models
arxiv.org·1h
📊Learned Metrics
Relative Completeness of Incorrectness Separation Logic
arxiv.org·1d
🧠Separation Logic